Optimal. Leaf size=1558 \[ \text{result too large to display} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 2.59749, antiderivative size = 1558, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 9, integrand size = 33, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.273, Rules used = {124, 151, 157, 62, 623, 303, 218, 1877, 123} \[ -\frac{2 \tan ^{-1}\left (\frac{2 b^{2/3} (c+d x)^{2/3}}{\sqrt{3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}+\frac{1}{\sqrt{3}}\right ) d^2}{\sqrt{3} b^{2/3} (b c-a d)^{8/3}}+\frac{\sqrt [4]{3} \sqrt{2-\sqrt{3}} \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt{\frac{(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} E\left (\sin ^{-1}\left (\frac{\left (1-\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt{3}\right ) d^2}{b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt{d^2 (3 b c+a d+4 b d x)^2} \sqrt{\frac{(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac{2 \sqrt{2} \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt{\frac{(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} F\left (\sin ^{-1}\left (\frac{\left (1-\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt{3}\right ) d^2}{\sqrt [4]{3} b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt{d^2 (3 b c+a d+4 b d x)^2} \sqrt{\frac{(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac{2 \log (a+b x) d^2}{3 b^{2/3} (b c-a d)^{8/3}}+\frac{\log \left (\frac{b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right ) d^2}{b^{2/3} (b c-a d)^{8/3}}+\frac{2 (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3} d}{(b c-a d)^3 (a+b x)}-\frac{(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}-\frac{2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{d^2 (3 b c+a d+4 b d x)^2} \sqrt{\left (4 b x d^2+(3 b c+a d) d\right )^2}}{b^{2/3} (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 124
Rule 151
Rule 157
Rule 62
Rule 623
Rule 303
Rule 218
Rule 1877
Rule 123
Rubi steps
\begin{align*} \int \frac{1}{(a+b x)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx &=-\frac{(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}-\frac{d \int \frac{12 b c-8 a d+4 b d x}{(a+b x)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{6 (b c-a d)^2}\\ &=-\frac{(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac{2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}+\frac{d \int \frac{8 b d (b c-2 a d) (b c-a d)-8 b^2 d^2 (b c-a d) x}{(a+b x) \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{6 b (b c-a d)^4}\\ &=-\frac{(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac{2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac{\left (4 d^3\right ) \int \frac{1}{\sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{3 (b c-a d)^3}+\frac{\left (4 d^2\right ) \int \frac{1}{(a+b x) \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{3 (b c-a d)^2}\\ &=-\frac{(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac{2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac{2 d^2 \tan ^{-1}\left (\frac{1}{\sqrt{3}}+\frac{2 b^{2/3} (c+d x)^{2/3}}{\sqrt{3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{\sqrt{3} b^{2/3} (b c-a d)^{8/3}}-\frac{2 d^2 \log (a+b x)}{3 b^{2/3} (b c-a d)^{8/3}}+\frac{d^2 \log \left (\frac{b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{b^{2/3} (b c-a d)^{8/3}}-\frac{\left (4 d^3 \sqrt [3]{(c+d x) (b c+a d+2 b d x)}\right ) \int \frac{1}{\sqrt [3]{c (b c+a d)+(2 b c d+d (b c+a d)) x+2 b d^2 x^2}} \, dx}{3 (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}}\\ &=-\frac{(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac{2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac{2 d^2 \tan ^{-1}\left (\frac{1}{\sqrt{3}}+\frac{2 b^{2/3} (c+d x)^{2/3}}{\sqrt{3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{\sqrt{3} b^{2/3} (b c-a d)^{8/3}}-\frac{2 d^2 \log (a+b x)}{3 b^{2/3} (b c-a d)^{8/3}}+\frac{d^2 \log \left (\frac{b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{b^{2/3} (b c-a d)^{8/3}}-\frac{\left (4 d^3 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname{Subst}\left (\int \frac{x}{\sqrt{-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{(b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}\\ &=-\frac{(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac{2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac{2 d^2 \tan ^{-1}\left (\frac{1}{\sqrt{3}}+\frac{2 b^{2/3} (c+d x)^{2/3}}{\sqrt{3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{\sqrt{3} b^{2/3} (b c-a d)^{8/3}}-\frac{2 d^2 \log (a+b x)}{3 b^{2/3} (b c-a d)^{8/3}}+\frac{d^2 \log \left (\frac{b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{b^{2/3} (b c-a d)^{8/3}}-\frac{\left (2 d^3 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname{Subst}\left (\int \frac{\left (1-\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} x}{\sqrt{-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\sqrt [3]{b} (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}-\frac{\left (2 \sqrt{\frac{2}{2+\sqrt{3}}} d^3 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\sqrt [3]{b} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}\\ &=-\frac{(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac{2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac{2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{d^2 (3 b c+a d+4 b d x)^2} \sqrt{\left (d (3 b c+a d)+4 b d^2 x\right )^2}}{b^{2/3} (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}-\frac{2 d^2 \tan ^{-1}\left (\frac{1}{\sqrt{3}}+\frac{2 b^{2/3} (c+d x)^{2/3}}{\sqrt{3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{\sqrt{3} b^{2/3} (b c-a d)^{8/3}}+\frac{\sqrt [4]{3} \sqrt{2-\sqrt{3}} d^2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{\left (d (3 b c+a d)+4 b d^2 x\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt{\frac{(b c-a d)^{4/3}-2 \sqrt [3]{b} (b c-a d)^{2/3} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} E\left (\sin ^{-1}\left (\frac{\left (1-\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt{3}\right )}{b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt{d^2 (3 b c+a d+4 b d x)^2} \sqrt{\frac{(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac{2 \sqrt{2} d^2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt{\left (d (3 b c+a d)+4 b d^2 x\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt{\frac{(b c-a d)^{4/3}-2 \sqrt [3]{b} (b c-a d)^{2/3} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} F\left (\sin ^{-1}\left (\frac{\left (1-\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt{3}\right )}{\sqrt [4]{3} b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt{d^2 (3 b c+a d+4 b d x)^2} \sqrt{\frac{(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac{2 d^2 \log (a+b x)}{3 b^{2/3} (b c-a d)^{8/3}}+\frac{d^2 \log \left (\frac{b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{b^{2/3} (b c-a d)^{8/3}}\\ \end{align*}
Mathematica [C] time = 1.04955, size = 305, normalized size = 0.2 \[ \frac{(c+d x)^{2/3} \left (\frac{5 (5 a d-b c+4 b d x) (a d+b (c+2 d x))}{(a+b x)^2}-\frac{d^2 \left (-2\ 2^{2/3} (b c-a d)^2 \sqrt [3]{\frac{a d+b c+2 b d x}{b c+b d x}} F_1\left (\frac{5}{3};\frac{1}{3},1;\frac{8}{3};\frac{b c-a d}{2 b c+2 b d x},\frac{b c-a d}{b c+b d x}\right )+15\ 2^{2/3} b (c+d x) (b c-a d) \sqrt [3]{\frac{a d+b c+2 b d x}{b c+b d x}} F_1\left (\frac{2}{3};\frac{1}{3},1;\frac{5}{3};\frac{b c-a d}{2 b c+2 b d x},\frac{b c-a d}{b c+b d x}\right )+20 b (c+d x) (a d+b (c+2 d x))\right )}{b^2 (c+d x)^2}\right )}{10 (b c-a d)^3 \sqrt [3]{a d+b (c+2 d x)}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.056, size = 0, normalized size = 0. \begin{align*} \int{\frac{1}{ \left ( bx+a \right ) ^{3}}{\frac{1}{\sqrt [3]{dx+c}}}{\frac{1}{\sqrt [3]{2\,bdx+ad+bc}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{{\left (2 \, b d x + b c + a d\right )}^{\frac{1}{3}}{\left (b x + a\right )}^{3}{\left (d x + c\right )}^{\frac{1}{3}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{{\left (2 \, b d x + b c + a d\right )}^{\frac{1}{3}}{\left (b x + a\right )}^{3}{\left (d x + c\right )}^{\frac{1}{3}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]